((high jumper's body proportions))